Instance Verification Kit (IVK)

spin lock @ [33720+27+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
clear_feature [30350+13+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
get_status [29328+10+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
irq_control_stage [34060+17+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
irq_device_state [33442+16+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
irq_packet_read [26303+15+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
irq_pipe_empty [28428+14+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
irq_pipe_ready [27639+14+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
r8a66597_dequeue [40771+16+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
r8a66597_disable [39066+16+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
r8a66597_irq [36405+12+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
r8a66597_queue [40010+14+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
r8a66597_sudmac_irq [36017+19+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
setup_packet [32371+12+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
start_ep0 [19838+9+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
start_ep0_write [14306+15+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
sudmac_finish [34935+13+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]
transfer_complete [22902+17+/linux-3.17-rc1/drivers/usb/gadget/udc/r8a66597-udc.c]